Book Review: Theory of algebraic numbers

BOOK REVIEW: Quantum Logic in Algebraic Approach

Since the invention of quantum logic by Birkhoff & von Neumann there has been a steady interest in the topic. Quantum logic owes much of its current attention to the rise of experimental foundational physics. Many researchers interested in the foundation of physics begin to view this field as a way to understand the quantum better; or at least from a new, hitherto unknown viewpoint. Yet much is...

Book Review: Contemporary Sensorimotor Theory

Consciousness, with its irreducible subjective character, was almost exclusively a philosophical topic until relatively recently. Today, however, the problem of explaining the felt quality of experience has also become relevant to science and engineering, including robotics andAI: “What would we have to build into a robot so that it really felt the touch of a finger, the redness of red, or the ...

Elements of Finite Model Theory [book review]

A Theory of Argument (Book Review)

The Book Review Column 1 a Course in Computational Algebraic Number Theory

4. Derivation and Computation: taking the Curry-Howard correspondence seriously by Harold Simmons. Review by Robert J. Irwin. My short description can do no better than to quote the review itself: Simmons’s text, whose thrust is pedagogical, intends to be a notquite-one-stop-shopping experience for readers interested in the interplay between the kinds of symbol-pushing undertaken in logic and i...